A Logic for Encapsulation in Object-Oriented Languages
نویسندگان
چکیده
We present a logic language with encapsulation based on an object-oriented data model. We give a formal account of the semantics of this language by defining a proof theory, a model theory and a fixed point theory. We also show that the different characterizations of the semantics are equivalent. We then study the logical foundations of encapsulation by introducing a mapping from our language to a corresponding modal language, and we show that the proof theory of the language is sound and complete with respect to the entailment relation of the corresponding modal framework. The proposed semantics represents – to our knowledge – the first attempt to capture a truly logical semantics of encapsulation in deductive object oriented languages.
منابع مشابه
A Logic for Encapsulation in Object Oriented
We present a logic language with encapsulation based on an object-oriented data model. We give a formal account of the semantics of this language by deening a proof theory, a model theory and a xed point theory. We also show that the diierent characterizations of the semantics are equivalent. We then study the logical foundations of encapsulation by introducing a mapping from our language to a ...
متن کاملIncorporating Methods and Encapsulation into Deductive Object-Oriented Database Languages
This paper presents an approach to incorporating rule-based methods and encapsulation of such methods into DOOD languages. The main novel feature of this approach is the simple and intuitive logic-based semantics that cleanly accounts for all important object-oriented features such as object identity, complex objects, typing, methods, encapsulation, class hierarchy, multiple structural and beha...
متن کاملMulti-paradigm Languages Supporting Multi-agent Development
Object-oriented languages generally support agent developments despite logic languages are more appropriate for managing mental attitudes. The alternative of a multi-paradigm language is a way for supporting agent constructions we explore. A multi-paradigm language that supports the encapsulation of actions, the hiding of private knowledge and the flexible manipulation of knowledge could be a g...
متن کاملA specification logic for concurrent object-oriented programming
The paper is focused on the use of linear logic for the speciication of the operational semantics of advanced concepts of programming, and, in particular, of concurrent object-oriented programming. For this purpose, we shall employ a reened sequent-calculus based on the proof-theoretical characterization of linear logic programming. A synergic combination of higher-order logic programming and l...
متن کاملTowards a Uniform Deductive Object-Oriented Database Language
Deductive object-oriented databases are intended to integrate the deductive and object-oriented database techniques to combine the best of two approaches and to overcome their inherent shortcomings, with a number of deductive object-oriented database languages proposed. However, most of these languages are only structurally object-oriented. Important behaviorally object-oriented features such a...
متن کامل